Integrating Healthcare Ontologies: An Inconsistency Tolerant Approach and Case Study
نویسندگان
چکیده
A major challenge for ontology integration is to effectively deal with inconsistencies that arise during the merging process. Because of the explosive nature of classical logic, the common strategy in existing merging tools is to choose between the contradictory pieces of information and maintain consistency. In many cases inconsistent information may be useful for intelligent reasoning activities. For example, in healthcare systems inconsistent information may be required to provide a full clinical perspective so any information loss is undesirable. In this paper we present a multi-valued logic based merging system that has inconsistency tolerant behavior and avoids information loss. As an application of the system in the healthcare domain, a result of merging a subset of two healthcare ontologies SNOMED CT® and ICNP® is presented.
منابع مشابه
Consistent Query Answering over Description Logic Ontologies
Description Logics (DLs) have been widely used in the last years as formal language for specifying ontologies. In several contexts, as ontology-based data integration, it may frequently happen that data contradict the intensional knowledge provided by the ontology through which they are accessed, which therefore may result inconsistent. In this paper, we analyze the problem of consistent query ...
متن کاملReasoning with Uncertain and Inconsistent OWL Ontologies
Reasoning with uncertainty and inconsistency in description logics are two important issues in the development of description logicbased ontology engineering. When constructing ontologies, one may obtain ontologies that are inconsistent and are pervaded with uncertain information, such as confidence values. In this paper, we propose some approaches to reasoning with inconsistent and uncertain o...
متن کاملD 1 . 2 . 4 Inconsistency - tolerant Reasoning with Networked Ontologies
In this deliverable, we discuss the problem of reasoning with inconsistent networked ontologies. We first extend the semantics of description logic ALC with a four-valued semantics. This will allow us to reasoning with inconsistent ontologies non-trivially. We implement an algorithm for reasoning with the four-valued semantics and provide a prototype. We then propose a bilatticebased semantics ...
متن کاملOn the Complexity of Dealing with Inconsistency in Description Logic Ontologies
We study the problem of dealing with inconsistency in Description Logic (DL) ontologies. We consider inconsistency-tolerant semantics recently proposed in the literature, called AR-semantics and CARsemantics, which are based on repairing (i.e., modifying) in a minimal way the extensional knowledge (ABox) while keeping the intensional knowledge (TBox) untouched. We study instance checking and co...
متن کاملInconsistency-Tolerant Instance Checking in Tractable Description Logics
Research on inconsistency-tolerant query answering usually assumes that the terminological knowledge is correct, and only the facts (ABox) need to be repaired. In this paper we study the problem of answering instance queries over inconsistent ontologies, by repairing the whole knowledge base (KB). Contrary to ABox repairs, when KB repairs are considered, instance checking in DL-LiteHorn w.r.t. ...
متن کامل